
// ERROR:
@OtherAnnot("arg") @Annot("arg") class AAA
{
}

// ERROR:
class BBB
{
}
